信息与计算科学专业有限元实验课程教学初探

有限元方法是一种求解偏微分方程主要的数值方法,有着许多重要的思想和技巧。学生初学时会面临许多的困难,尤其是做上机实验。对于信息与计算科学专业的学生,有限元实验课程的学习尤为重要。本文基于笔者的教学实践,针对该专业学生的特点,对有限元实验课程教学进行了探索。从而发现,采用有限元软件Freefem++和工程作图软件Tecplot来完成有限元实验课程的教学内容是十分合适的。     

形象记忆在数学学习中的应用

根据高中数学知识特点及学习方法,在数学概念、公式、定理等的教学中利用形象记忆,有助于学生正确理解基本概念,掌握公式和定理,并且可以培养学生的学习兴趣,提高数学学习的能力。在数学教学中利用形象记忆,也要注意使用方法和范围。     

民族班高等数学教学改革研究

当前关于高校民族班的高等数学教学存在诸多问题,文章首先分析了制约民族生高等数学学习的一系列因素,并着重从激发兴趣动机、注重基于双语的数学语富教学、加强高等数学教学的文化相关性、实施基于民族生自主学习的PBL教学模式、倡导促进民族生的全面和谐发展的多元评价考核模式等方面提出了改进对策。     

Better is the Neighbor?

Abstract

This study applies the Sequential Panel Selection Method (SPSM), to investigate the convergence properties of the military expenditure of the North Atlantic Treaty Organization (NATO) during the period of 1990–2015. Compared to the traditional methods, SPSM considers fundamentally general spatial homogeneous and heterogeneous relationships with countries and examines the evolution of military expenditure. We find that four-fifths of NATO member countries have been convergent with the UK, but no country’s military expenditure is convergent with the US. This means that there is no significant linkage effect in the US for NATO military expenditure. While they are allies of the US, the majority of NATO member countries’ military expenditures are consistent with UK military expenditure. The main reasons are due to the geographical space layout and the international relationship convergence. The results indicate that more than four-fifths of NATO member countries have been coordinated with convergence theory and spillover effect.     

概念模型验证方法研究综述

概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV＆A中的重点和难点．首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题．     

预定相遇态势的潜射鱼雷射击及其技术方法

为发挥鱼雷的作战效能,提出潜射鱼雷有利相遇态势的概念,指出当一次转角射击不能满足鱼雷以有利相遇态势接近并发现目标时,各种自导方式的鱼雷均需要二次转角射击。在给出二次转角射击时机、解算模型的基础上,着重对预定相遇态势射击的关键----二次转向点的选择问题进行了系统研究,引入基于鱼雷自导探测距离的二次转向点与预定相遇点之间距离的选择方法,使得二次转向点的选择更具合理性和针对性,且适用于包括直航鱼雷在内的各种鱼雷。     

基于GAHP的模糊综合评判法在潜艇 作战方案评估中的应用

潜艇作战方案评估是辅助对潜指挥员决策的重要方法,而评估的科学性对决策的有效性影响很大.利用多人层次分析法(GAHP)和模糊综合评判相结合的方法,对潜艇作战方案进行评估,评估的结果可信度高,有利于对潜指挥员的正确决策.最后,通过实例证明了方法的有效性.     

Steady-state analysis of load balancing with Coxian-2 distributed service times

This paper studies load balancing for many-server (N servers) systems. Each server has a buffer of size b ? 1, and can have at most one job in service and b ? 1 jobs in the buffer. The service time of a job follows the Coxian-2 distribution. We focus on steady-state performance of load balancing policies in the heavy traffic regime such that the normalized load of system is λ = 1 ? N^?α for 0 < α < 0.5. We identify a set of policies that achieve asymptotic zero waiting. The set of policies include several classical policies such as join-the-shortest-queue (JSQ), join-the-idle-queue (JIQ), idle-one-first (I1F) and power-of-d-choices (Po d) with d = O(N^α log N). The proof of the main result is based on Stein's method and state space collapse. A key technical contribution of this paper is the iterative state space collapse approach that leads to a simple generator approximation when applying Stein's method.     

面向混部云失败批处理作业的预测算法

为了降低混部云失败批处理作业的风险,使用K-means聚类算法将批处理作业分为四类,在分类的基础上提出了二层嵌套分类模型(two-layer nested classification model, TLNM),实现了基于TLNM的预测算法。基于Ali Trace 2018数据集上的实验结果表明,该算法的接受者操作特性(receiver operating characteristic, ROC)曲线明显优于其他常用分类器,ROC曲线下面积(即AUC)可以达到0.978,表明该算法具有良好的分类性能。同时召回率可以达到0.951,通过混淆矩阵可以看出TLNM算法能够准确预测出执行失败的批处理作业。